An Interactive Visualization Tool for Animating Behavior of Cryptographic Protocols
نویسندگان
چکیده
منابع مشابه
An Advance Visual Model for Animating Behavior of Cryptographic Protocols
Visual form description benefits from the ability of visualization to provide precise and clear description of object behavior especially if the visual form is extracted from the real world. It provides clear definition of object and the behavior of that object. Although the current descriptions of cryptographic protocol components and operations use a different visual representation, the crypt...
متن کاملTool-supported Veriication of Cryptographic Protocols
The correct and awless design of cryptographic protocols is crucial for the security of network services. As security aws within such protocols are in general very hard to detect, their security properties must be formally veriied. A computer-supported prove is highly desirable, but formal techniques as well as automatic theorem provers are hard to use for a non-specialist. To ooer a user-frien...
متن کاملISRVT: An Interactive Spectral Rendering Visualization Tool
Images involving important optical effects, such as light dispersion, interference, diffraction and fluorescence cannot be synthesized without spectral rendering. Spectral surface reflectance curves are the surface reflectance constructed according to specific illumination models for spectral rendering. Nevertheless, it is a tedious and an inefficient job to construct spectral surface reflectan...
متن کاملiBlogVis: An Interactive Blog Visualization Tool
We developed and evaluated a visualization tool for browsing individual blog archives. In our study, we solicited qualitative feedback from the participants to explore the reasons behind their usability ratings. This feedback reveals factors that are deemed important in selecting entries to read, and adds to the understanding of blogging practices. Based on our analysis, we propose two design p...
متن کامل1 Visualizing Metra : an Interactive Visualization Tool
An interactive visualization tool, Visualizing Metra, was developed for Metra, Chicago’s regional commuter rail system, to support decision-makers in different departments requiring information about Metra’s stations, lines, ridership, land use, surrounding stations and connections to other transportation facilities. The application was developed as an intranet application in Macromedia Dreamwe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Network Security & Its Applications
سال: 2015
ISSN: 0975-2307,0974-9330
DOI: 10.5121/ijnsa.2015.7202